[INFO] cloning repository https://github.com/LiuJun5817/verified-hv-mem
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/LiuJun5817/verified-hv-mem" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLiuJun5817%2Fverified-hv-mem", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLiuJun5817%2Fverified-hv-mem'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] a7a7a81b533fd1f083177d3452fdd17e550d567b
[INFO] fixing LiuJun5817/verified-hv-mem against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=start=2015 for pr-157817-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLiuJun5817%2Fverified-hv-mem" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/LiuJun5817/verified-hv-mem
[INFO] finished tweaking git repo https://github.com/LiuJun5817/verified-hv-mem
[INFO] tweaked toml for git repo https://github.com/LiuJun5817/verified-hv-mem written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/LiuJun5817/verified-hv-mem on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/LiuJun5817/verified-hv-mem already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded verus_builtin v0.0.0-2026-01-11-0057
[INFO] [stderr]   Downloaded vstd v0.0.0-2026-01-11-0057
[INFO] [stderr]   Downloaded verus_prettyplease v0.0.0-2025-11-16-0050
[INFO] [stderr]   Downloaded verus_state_machines_macros v0.0.0-2025-11-23-0053
[INFO] [stderr]   Downloaded verus_builtin_macros v0.0.0-2025-12-07-0054
[INFO] [stderr]   Downloaded verus_syn v0.0.0-2025-11-16-0050
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95
[INFO] running `Command { std: "docker" "start" "4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=start=2015", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling verus_prettyplease v0.0.0-2025-11-16-0050
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling vstd v0.0.0-2026-01-11-0057
[INFO] [stderr]     Checking verus_builtin v0.0.0-2026-01-11-0057
[INFO] [stderr]     Checking bitflags v2.10.0
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling verus_syn v0.0.0-2025-11-16-0050
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling verus_state_machines_macros v0.0.0-2025-11-23-0053
[INFO] [stderr]    Compiling verus_builtin_macros v0.0.0-2025-12-07-0054
[INFO] [stderr]     Checking verified-hv-mem v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved imports `super::addr::PAddr`, `super::addr::SpecPAddr`, `super::addr::SpecVAddr`, `super::addr::VAddr`
[INFO] [stdout]  --> src/address/frame.rs:1:19
[INFO] [stdout]   |
[INFO] [stdout] 1 | use super::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout]   |                   ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |                   |      |          |
[INFO] [stdout]   |                   |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |                   |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |                   no `PAddr` in `address::addr`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 1 - use super::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 1 + use super::addr::{PAddr, SpecAdd, SpecVAddr, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 1 - use super::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 1 + use super::addr::{PAddr, SpecPAddr, SpecAdd, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::addr::PAddr`, `super::addr::SpecPAddr`, `super::addr::SpecVAddr`, `super::addr::VAddr`, `super::frame::MemAttr`
[INFO] [stdout]  --> src/address/region.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |            |      |          |
[INFO] [stdout]   |            |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |            |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |            no `PAddr` in `address::addr`
[INFO] [stdout] 4 |     frame::MemAttr,
[INFO] [stdout]   |     ^^^^^^^-------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `MemAttr` in `address::frame`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 3 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 3 +     addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 3 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 3 +     addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::addr::PAddr`, `super::addr::SpecPAddr`, `super::addr::SpecVAddr`, `super::addr::VAddr`
[INFO] [stdout]  --> src/address/frame.rs:1:19
[INFO] [stdout]   |
[INFO] [stdout] 1 | use super::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout]   |                   ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |                   |      |          |
[INFO] [stdout]   |                   |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |                   |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |                   no `PAddr` in `address::addr`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 1 - use super::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 1 + use super::addr::{PAddr, SpecAdd, SpecVAddr, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 1 - use super::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 1 + use super::addr::{PAddr, SpecPAddr, SpecAdd, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::bitmap_impl::BitAlloc`, `super::bitmap_impl::BitAlloc16`, `super::bitmap_impl::BitAllocView`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_trait.rs:3:26
[INFO] [stdout]   |
[INFO] [stdout] 3 | use super::bitmap_impl::{BitAlloc, BitAlloc16, BitAllocView};
[INFO] [stdout]   |                          ^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^ no `BitAllocView` in `bitmap_allocator::bitmap_impl`
[INFO] [stdout]   |                          |         |
[INFO] [stdout]   |                          |         no `BitAlloc16` in `bitmap_allocator::bitmap_impl`
[INFO] [stdout]   |                          no `BitAlloc` in `bitmap_allocator::bitmap_impl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::addr::PAddr`, `super::addr::SpecPAddr`, `super::addr::SpecVAddr`, `super::addr::VAddr`, `super::frame::MemAttr`
[INFO] [stdout]  --> src/address/region.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |            |      |          |
[INFO] [stdout]   |            |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |            |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |            no `PAddr` in `address::addr`
[INFO] [stdout] 4 |     frame::MemAttr,
[INFO] [stdout]   |     ^^^^^^^-------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `MemAttr` in `address::frame`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 3 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 3 +     addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 3 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 3 +     addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::bitmap_impl::BitAlloc`, `super::bitmap_impl::BitAlloc16`, `super::bitmap_impl::BitAllocView`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_trait.rs:3:26
[INFO] [stdout]   |
[INFO] [stdout] 3 | use super::bitmap_impl::{BitAlloc, BitAlloc16, BitAllocView};
[INFO] [stdout]   |                          ^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^ no `BitAllocView` in `bitmap_allocator::bitmap_impl`
[INFO] [stdout]   |                          |         |
[INFO] [stdout]   |                          |         no `BitAlloc16` in `bitmap_allocator::bitmap_impl`
[INFO] [stdout]   |                          no `BitAlloc` in `bitmap_allocator::bitmap_impl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::Frame`, `crate::address::frame::FrameSize`, `crate::address::frame::SpecFrame`, `crate::address::region::MemoryRegion`, `crate::address::region::PAGE_SIZE`, `crate::address::region::SPEC_PAGE_SIZE`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`
[INFO] [stdout]   --> src/memory_set/mod.rs:6:16
[INFO] [stdout]    |
[INFO] [stdout]  6 |         addr::{SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]    |                ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |          |
[INFO] [stdout]    |                |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                no `SpecPAddr` in `address::addr`
[INFO] [stdout]  7 |         frame::{self, Frame, FrameSize, SpecFrame},
[INFO] [stdout]    |                       ^^^^^  ^^^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]    |                       |      |
[INFO] [stdout]    |                       |      no `FrameSize` in `address::frame`
[INFO] [stdout]    |                       no `Frame` in `address::frame`
[INFO] [stdout]  8 |         region::{MemoryRegion, PAGE_SIZE, SPEC_PAGE_SIZE},
[INFO] [stdout]    |                  ^^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^ no `SPEC_PAGE_SIZE` in `address::region`
[INFO] [stdout]    |                  |             |
[INFO] [stdout]    |                  |             no `PAGE_SIZE` in `address::region`
[INFO] [stdout]    |                  no `MemoryRegion` in `address::region`
[INFO] [stdout]  9 |     },
[INFO] [stdout] 10 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 11 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  6 -         addr::{SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  6 +         addr::{SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  6 -         addr::{SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  6 +         addr::{SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::FrameSize`
[INFO] [stdout]   --> src/page_table/pt_arch.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 |     addr::{SpecVAddr, VAddr},
[INFO] [stdout]    |            ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `SpecVAddr` in `address::addr`
[INFO] [stdout] 12 |     frame::FrameSize,
[INFO] [stdout]    |     ^^^^^^^---------
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `FrameSize` in `address::frame`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 11 -     addr::{SpecVAddr, VAddr},
[INFO] [stdout] 11 +     addr::{SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::Frame`, `crate::address::frame::FrameSize`, `crate::address::frame::SpecFrame`, `crate::address::region::MemoryRegion`, `crate::address::region::PAGE_SIZE`, `crate::address::region::SPEC_PAGE_SIZE`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`
[INFO] [stdout]   --> src/memory_set/mod.rs:6:16
[INFO] [stdout]    |
[INFO] [stdout]  6 |         addr::{SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]    |                ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |          |
[INFO] [stdout]    |                |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                no `SpecPAddr` in `address::addr`
[INFO] [stdout]  7 |         frame::{self, Frame, FrameSize, SpecFrame},
[INFO] [stdout]    |                       ^^^^^  ^^^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]    |                       |      |
[INFO] [stdout]    |                       |      no `FrameSize` in `address::frame`
[INFO] [stdout]    |                       no `Frame` in `address::frame`
[INFO] [stdout]  8 |         region::{MemoryRegion, PAGE_SIZE, SPEC_PAGE_SIZE},
[INFO] [stdout]    |                  ^^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^ no `SPEC_PAGE_SIZE` in `address::region`
[INFO] [stdout]    |                  |             |
[INFO] [stdout]    |                  |             no `PAGE_SIZE` in `address::region`
[INFO] [stdout]    |                  no `MemoryRegion` in `address::region`
[INFO] [stdout]  9 |     },
[INFO] [stdout] 10 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 11 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  6 -         addr::{SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  6 +         addr::{SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  6 -         addr::{SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  6 +         addr::{SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::pt_mem::PageTableMem`, `super::pt_trait::PTConstants`, `super::pt_trait::PageTable`, `super::pt_trait::PageTableState`, `super::pte::PageTableEntry`
[INFO] [stdout]  --> src/page_table/pt_impl/mod.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     pt_mem::PageTableMem,
[INFO] [stdout]   |     ^^^^^^^^------------
[INFO] [stdout]   |             |
[INFO] [stdout]   |             no `PageTableMem` in `page_table::pt_mem`
[INFO] [stdout] 5 |     pt_trait::{PTConstants, PageTable, PageTableState},
[INFO] [stdout]   |                ^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^ no `PageTableState` in `page_table::pt_trait`
[INFO] [stdout]   |                |            |
[INFO] [stdout]   |                |            no `PageTable` in `page_table::pt_trait`
[INFO] [stdout]   |                no `PTConstants` in `page_table::pt_trait`
[INFO] [stdout] 6 |     pte::PageTableEntry,
[INFO] [stdout]   |     ^^^^^--------------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `PageTableEntry` in `page_table::pte`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::FrameSize`
[INFO] [stdout]   --> src/page_table/pt_arch.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 |     addr::{SpecVAddr, VAddr},
[INFO] [stdout]    |            ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `SpecVAddr` in `address::addr`
[INFO] [stdout] 12 |     frame::FrameSize,
[INFO] [stdout]    |     ^^^^^^^---------
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `FrameSize` in `address::frame`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 11 -     addr::{SpecVAddr, VAddr},
[INFO] [stdout] 11 +     addr::{SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::VAddr`, `crate::address::frame::Frame`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`
[INFO] [stdout]   --> src/page_table/pt_impl/mod.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |         addr::{SpecPAddr, VAddr},
[INFO] [stdout]    |                ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `SpecPAddr` in `address::addr`
[INFO] [stdout] 11 |         frame::Frame,
[INFO] [stdout]    |         ^^^^^^^-----
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `Frame` in `address::frame`
[INFO] [stdout] 12 |     },
[INFO] [stdout] 13 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 14 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -         addr::{SpecPAddr, VAddr},
[INFO] [stdout] 10 +         addr::{SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::pt_mem::PageTableMem`, `super::pt_trait::PTConstants`, `super::pt_trait::PageTable`, `super::pt_trait::PageTableState`, `super::pte::PageTableEntry`
[INFO] [stdout]  --> src/page_table/pt_impl/mod.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     pt_mem::PageTableMem,
[INFO] [stdout]   |     ^^^^^^^^------------
[INFO] [stdout]   |             |
[INFO] [stdout]   |             no `PageTableMem` in `page_table::pt_mem`
[INFO] [stdout] 5 |     pt_trait::{PTConstants, PageTable, PageTableState},
[INFO] [stdout]   |                ^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^ no `PageTableState` in `page_table::pt_trait`
[INFO] [stdout]   |                |            |
[INFO] [stdout]   |                |            no `PageTable` in `page_table::pt_trait`
[INFO] [stdout]   |                no `PTConstants` in `page_table::pt_trait`
[INFO] [stdout] 6 |     pte::PageTableEntry,
[INFO] [stdout]   |     ^^^^^--------------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `PageTableEntry` in `page_table::pte`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `vstd::arithmetic::mul::lemma_mul_is_distributive_add_other_way`, `vstd::arithmetic::mul::lemma_mul_strictly_positive`
[INFO] [stdout]  --> src/page_table/pt_impl/path.rs:2:29
[INFO] [stdout]   |
[INFO] [stdout] 2 | use vstd::arithmetic::mul::{lemma_mul_is_distributive_add_other_way, lemma_mul_strictly_positive};
[INFO] [stdout]   |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `lemma_mul_strictly_positive` in `arithmetic::mul`
[INFO] [stdout]   |                             |
[INFO] [stdout]   |                             no `lemma_mul_is_distributive_add_other_way` in `arithmetic::mul`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::addr::SpecVAddr`
[INFO] [stdout]  --> src/page_table/pt_impl/path.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::address::addr::SpecVAddr;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^---------
[INFO] [stdout]   |                           |
[INFO] [stdout]   |                           no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 5 - use crate::address::addr::SpecVAddr;
[INFO] [stdout] 5 + use crate::address::addr::SpecAdd;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::page_table::pt_arch::SpecPTArch`
[INFO] [stdout]  --> src/page_table/pt_impl/path.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::page_table::pt_arch::SpecPTArch;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------
[INFO] [stdout]   |                                 |
[INFO] [stdout]   |                                 no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::path::PTTreePath`, `super::spec_pt::SpecPageTable`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:7:13
[INFO] [stdout]   |
[INFO] [stdout] 7 | use super::{path::PTTreePath, spec_pt::SpecPageTable};
[INFO] [stdout]   |             ^^^^^^----------  ^^^^^^^^^-------------
[INFO] [stdout]   |                   |                    |
[INFO] [stdout]   |                   |                    no `SpecPageTable` in `page_table::pt_impl::spec_pt`
[INFO] [stdout]   |                   no `PTTreePath` in `page_table::pt_impl::path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::VAddr`, `crate::address::frame::Frame`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`
[INFO] [stdout]   --> src/page_table/pt_impl/mod.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |         addr::{SpecPAddr, VAddr},
[INFO] [stdout]    |                ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `SpecPAddr` in `address::addr`
[INFO] [stdout] 11 |         frame::Frame,
[INFO] [stdout]    |         ^^^^^^^-----
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `Frame` in `address::frame`
[INFO] [stdout] 12 |     },
[INFO] [stdout] 13 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 14 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -         addr::{SpecPAddr, VAddr},
[INFO] [stdout] 10 +         addr::{SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `vstd::arithmetic::mul::lemma_mul_is_distributive_add_other_way`, `vstd::arithmetic::mul::lemma_mul_strictly_positive`
[INFO] [stdout]  --> src/page_table/pt_impl/path.rs:2:29
[INFO] [stdout]   |
[INFO] [stdout] 2 | use vstd::arithmetic::mul::{lemma_mul_is_distributive_add_other_way, lemma_mul_strictly_positive};
[INFO] [stdout]   |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `lemma_mul_strictly_positive` in `arithmetic::mul`
[INFO] [stdout]   |                             |
[INFO] [stdout]   |                             no `lemma_mul_is_distributive_add_other_way` in `arithmetic::mul`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::addr::SpecVAddr`
[INFO] [stdout]  --> src/page_table/pt_impl/path.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::address::addr::SpecVAddr;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^---------
[INFO] [stdout]   |                           |
[INFO] [stdout]   |                           no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 5 - use crate::address::addr::SpecVAddr;
[INFO] [stdout] 5 + use crate::address::addr::SpecAdd;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::page_table::pt_arch::SpecPTArch`
[INFO] [stdout]  --> src/page_table/pt_impl/path.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::page_table::pt_arch::SpecPTArch;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------
[INFO] [stdout]   |                                 |
[INFO] [stdout]   |                                 no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::path::PTTreePath`, `super::spec_pt::SpecPageTable`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:7:13
[INFO] [stdout]   |
[INFO] [stdout] 7 | use super::{path::PTTreePath, spec_pt::SpecPageTable};
[INFO] [stdout]   |             ^^^^^^----------  ^^^^^^^^^-------------
[INFO] [stdout]   |                   |                    |
[INFO] [stdout]   |                   |                    no `SpecPageTable` in `page_table::pt_impl::spec_pt`
[INFO] [stdout]   |                   no `PTTreePath` in `page_table::pt_impl::path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::Frame`, `crate::address::frame::FrameSize`, `crate::address::frame::MemAttr`, `crate::address::frame::SpecFrame`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`, `crate::page_table::pt_arch::SpecPTArch`, `crate::page_table::pt_mem::PageTableMem`, `crate::page_table::pt_trait::PTConstants`, `crate::page_table::pt_trait::PagingResult`, `crate::page_table::pte::PageTableEntry`
[INFO] [stdout]   --> src/page_table/pt_impl/pt.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]    |                ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |      |          |
[INFO] [stdout]    |                |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]    |                no `PAddr` in `address::addr`
[INFO] [stdout] 11 |         frame::{Frame, FrameSize, MemAttr, SpecFrame},
[INFO] [stdout]    |                 ^^^^^  ^^^^^^^^^  ^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]    |                 |      |          |
[INFO] [stdout]    |                 |      |          no `MemAttr` in `address::frame`
[INFO] [stdout]    |                 |      no `FrameSize` in `address::frame`
[INFO] [stdout]    |                 no `Frame` in `address::frame`
[INFO] [stdout] 12 |     },
[INFO] [stdout] 13 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 14 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout] 15 |     page_table::{
[INFO] [stdout] 16 |         pt_arch::SpecPTArch,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 17 |         pt_mem::PageTableMem,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 18 |         pt_trait::{PTConstants, PagingResult},
[INFO] [stdout]    |                    ^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 19 |         pte::PageTableEntry,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::SpecPAddr
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::VAddr
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::Frame
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::BitmapAllocator
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::GlobalAllocator
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 10 +         addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 10 +         addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::tree::NodeEntry`, `super::tree::PTTreeModel`, `super::tree::PTTreeNode`
[INFO] [stdout]  --> src/page_table/pt_impl/spec_pt.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 |     tree::{NodeEntry, PTTreeModel, PTTreeNode},
[INFO] [stdout]   |            ^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^ no `PTTreeNode` in `page_table::pt_impl::tree`
[INFO] [stdout]   |            |          |
[INFO] [stdout]   |            |          no `PTTreeModel` in `page_table::pt_impl::tree`
[INFO] [stdout]   |            no `NodeEntry` in `page_table::pt_impl::tree`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::page_table::pt_arch::SpecPTArch`, `crate::page_table::pt_mem::SpecPageTableMem`, `crate::page_table::pt_trait::PagingResult`, `crate::page_table::pt_trait::SpecPTConstants`
[INFO] [stdout]   --> src/page_table/pt_impl/spec_pt.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     pt_arch::SpecPTArch,
[INFO] [stdout]    |     ^^^^^^^^^----------
[INFO] [stdout]    |              |
[INFO] [stdout]    |              no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout] 11 |     pt_mem::SpecPageTableMem,
[INFO] [stdout]    |     ^^^^^^^^----------------
[INFO] [stdout]    |             |
[INFO] [stdout]    |             no `SpecPageTableMem` in `page_table::pt_mem`
[INFO] [stdout] 12 |     pt_trait::{PagingResult, SpecPTConstants},
[INFO] [stdout]    |                ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `SpecPTConstants` in `page_table::pt_trait`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `PagingResult` in `page_table::pt_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::Frame`, `crate::address::frame::FrameSize`, `crate::address::frame::MemAttr`, `crate::address::frame::SpecFrame`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`, `crate::page_table::pt_arch::SpecPTArch`, `crate::page_table::pt_mem::PageTableMem`, `crate::page_table::pt_trait::PTConstants`, `crate::page_table::pt_trait::PagingResult`, `crate::page_table::pte::PageTableEntry`
[INFO] [stdout]   --> src/page_table/pt_impl/pt.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]    |                ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |      |          |
[INFO] [stdout]    |                |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]    |                no `PAddr` in `address::addr`
[INFO] [stdout] 11 |         frame::{Frame, FrameSize, MemAttr, SpecFrame},
[INFO] [stdout]    |                 ^^^^^  ^^^^^^^^^  ^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]    |                 |      |          |
[INFO] [stdout]    |                 |      |          no `MemAttr` in `address::frame`
[INFO] [stdout]    |                 |      no `FrameSize` in `address::frame`
[INFO] [stdout]    |                 no `Frame` in `address::frame`
[INFO] [stdout] 12 |     },
[INFO] [stdout] 13 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 14 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout] 15 |     page_table::{
[INFO] [stdout] 16 |         pt_arch::SpecPTArch,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 17 |         pt_mem::PageTableMem,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 18 |         pt_trait::{PTConstants, PagingResult},
[INFO] [stdout]    |                    ^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 19 |         pte::PageTableEntry,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::SpecPAddr
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::VAddr
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::Frame
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::BitmapAllocator
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::GlobalAllocator
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 10 +         addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 10 +         addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::tree::NodeEntry`, `super::tree::PTTreeModel`, `super::tree::PTTreeNode`
[INFO] [stdout]  --> src/page_table/pt_impl/spec_pt.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 |     tree::{NodeEntry, PTTreeModel, PTTreeNode},
[INFO] [stdout]   |            ^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^ no `PTTreeNode` in `page_table::pt_impl::tree`
[INFO] [stdout]   |            |          |
[INFO] [stdout]   |            |          no `PTTreeModel` in `page_table::pt_impl::tree`
[INFO] [stdout]   |            no `NodeEntry` in `page_table::pt_impl::tree`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::frame::MemAttr`, `crate::address::frame::SpecFrame`, `crate::page_table::pte::PageTableEntry`
[INFO] [stdout]   --> src/page_table/pt_impl/spec_pt.rs:17:16
[INFO] [stdout]    |
[INFO] [stdout] 17 |         addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout]    |                ^^^^^^^^^  ^^^^^^^^^ no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `SpecPAddr` in `address::addr`
[INFO] [stdout] 18 |         frame::{MemAttr, SpecFrame},
[INFO] [stdout]    |                 ^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `MemAttr` in `address::frame`
[INFO] [stdout] 19 |     },
[INFO] [stdout] 20 |     page_table::pte::PageTableEntry,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^--------------
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      no `PageTableEntry` in `page_table::pte`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::SpecPAddr
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::PageTableEntry
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 17 -         addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 17 +         addr::{SpecAdd, SpecVAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 17 -         addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 17 +         addr::{SpecPAddr, SpecAdd},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::path::PTTreePath`
[INFO] [stdout]  --> src/page_table/pt_impl/tree.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use super::path::PTTreePath;
[INFO] [stdout]   |     ^^^^^^^^^^^^^----------
[INFO] [stdout]   |                  |
[INFO] [stdout]   |                  no `PTTreePath` in `page_table::pt_impl::path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::page_table::pt_arch::SpecPTArch`, `crate::page_table::pt_mem::SpecPageTableMem`, `crate::page_table::pt_trait::PagingResult`, `crate::page_table::pt_trait::SpecPTConstants`
[INFO] [stdout]   --> src/page_table/pt_impl/spec_pt.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     pt_arch::SpecPTArch,
[INFO] [stdout]    |     ^^^^^^^^^----------
[INFO] [stdout]    |              |
[INFO] [stdout]    |              no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout] 11 |     pt_mem::SpecPageTableMem,
[INFO] [stdout]    |     ^^^^^^^^----------------
[INFO] [stdout]    |             |
[INFO] [stdout]    |             no `SpecPageTableMem` in `page_table::pt_mem`
[INFO] [stdout] 12 |     pt_trait::{PagingResult, SpecPTConstants},
[INFO] [stdout]    |                ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `SpecPTConstants` in `page_table::pt_trait`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `PagingResult` in `page_table::pt_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::frame::SpecFrame`
[INFO] [stdout]  --> src/page_table/pt_impl/tree.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 |     addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout]   |            ^^^^^^^^^  ^^^^^^^^^ no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `SpecPAddr` in `address::addr`
[INFO] [stdout] 7 |     frame::SpecFrame,
[INFO] [stdout]   |     ^^^^^^^---------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `SpecFrame` in `address::frame`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pt_impl::SpecPAddr
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 6 -     addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 6 +     addr::{SpecAdd, SpecVAddr},
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 6 -     addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 6 +     addr::{SpecPAddr, SpecAdd},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::page_table::pt_arch::SpecPTArch`, `crate::page_table::pt_trait::PageTableState`, `crate::page_table::pt_trait::PagingResult`, `crate::page_table::pt_trait::SpecPTConstants`
[INFO] [stdout]   --> src/page_table/pt_impl/tree.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     pt_arch::SpecPTArch,
[INFO] [stdout]    |     ^^^^^^^^^----------
[INFO] [stdout]    |              |
[INFO] [stdout]    |              no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout] 11 |     pt_trait::{PageTableState, PagingResult, SpecPTConstants},
[INFO] [stdout]    |                ^^^^^^^^^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `SpecPTConstants` in `page_table::pt_trait`
[INFO] [stdout]    |                |               |
[INFO] [stdout]    |                |               no `PagingResult` in `page_table::pt_trait`
[INFO] [stdout]    |                no `PageTableState` in `page_table::pt_trait`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::PageTableState
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::frame::MemAttr`, `crate::address::frame::SpecFrame`, `crate::page_table::pte::PageTableEntry`
[INFO] [stdout]   --> src/page_table/pt_impl/spec_pt.rs:17:16
[INFO] [stdout]    |
[INFO] [stdout] 17 |         addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout]    |                ^^^^^^^^^  ^^^^^^^^^ no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `SpecPAddr` in `address::addr`
[INFO] [stdout] 18 |         frame::{MemAttr, SpecFrame},
[INFO] [stdout]    |                 ^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `MemAttr` in `address::frame`
[INFO] [stdout] 19 |     },
[INFO] [stdout] 20 |     page_table::pte::PageTableEntry,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^--------------
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      no `PageTableEntry` in `page_table::pte`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::SpecPAddr
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::PageTableEntry
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 17 -         addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 17 +         addr::{SpecAdd, SpecVAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 17 -         addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 17 +         addr::{SpecPAddr, SpecAdd},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::path::PTTreePath`
[INFO] [stdout]  --> src/page_table/pt_impl/tree.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use super::path::PTTreePath;
[INFO] [stdout]   |     ^^^^^^^^^^^^^----------
[INFO] [stdout]   |                  |
[INFO] [stdout]   |                  no `PTTreePath` in `page_table::pt_impl::path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::frame::SpecFrame`
[INFO] [stdout]  --> src/page_table/pt_impl/tree.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 |     addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout]   |            ^^^^^^^^^  ^^^^^^^^^ no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `SpecPAddr` in `address::addr`
[INFO] [stdout] 7 |     frame::SpecFrame,
[INFO] [stdout]   |     ^^^^^^^---------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `SpecFrame` in `address::frame`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pt_impl::SpecPAddr
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 6 -     addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 6 +     addr::{SpecAdd, SpecVAddr},
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 6 -     addr::{SpecPAddr, SpecVAddr},
[INFO] [stdout] 6 +     addr::{SpecPAddr, SpecAdd},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::page_table::pt_arch::SpecPTArch`, `crate::page_table::pt_trait::PageTableState`, `crate::page_table::pt_trait::PagingResult`, `crate::page_table::pt_trait::SpecPTConstants`
[INFO] [stdout]   --> src/page_table/pt_impl/tree.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     pt_arch::SpecPTArch,
[INFO] [stdout]    |     ^^^^^^^^^----------
[INFO] [stdout]    |              |
[INFO] [stdout]    |              no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout] 11 |     pt_trait::{PageTableState, PagingResult, SpecPTConstants},
[INFO] [stdout]    |                ^^^^^^^^^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `SpecPTConstants` in `page_table::pt_trait`
[INFO] [stdout]    |                |               |
[INFO] [stdout]    |                |               no `PagingResult` in `page_table::pt_trait`
[INFO] [stdout]    |                no `PageTableState` in `page_table::pt_trait`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::page_table::pt_impl::PageTableState
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::FrameSize`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::frame_is_empty`, `crate::global_allocator::inst_base`, `crate::global_allocator::ClientState`, `crate::global_allocator::Frame4KPerm`, `crate::global_allocator::FrameID`, `crate::global_allocator::GlobalAllocator`, `crate::global_allocator::SPEC_FRAME_SIZE`, `crate::page_table::pt_arch::PTArch`, `crate::page_table::pt_arch::SpecPTArch`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:7:16
[INFO] [stdout]    |
[INFO] [stdout]  7 |         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]    |                ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |      |          |
[INFO] [stdout]    |                |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]    |                no `PAddr` in `address::addr`
[INFO] [stdout]  8 |         frame::FrameSize,
[INFO] [stdout]    |         ^^^^^^^---------
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `FrameSize` in `address::frame`
[INFO] [stdout]  9 |     },
[INFO] [stdout] 10 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 11 |     global_allocator::{
[INFO] [stdout] 12 |         frame_is_empty, inst_base, ClientState, Frame4KPerm, FrameID, GlobalAllocator,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stdout]    |         |               |          |            |
[INFO] [stdout]    |         |               |          |            no `Frame4KPerm` in `global_allocator`
[INFO] [stdout]    |         |               |          no `ClientState` in `global_allocator`
[INFO] [stdout]    |         |               no `inst_base` in `global_allocator`
[INFO] [stdout]    |         no `frame_is_empty` in `global_allocator`
[INFO] [stdout] 13 |         SPEC_FRAME_SIZE,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 16 |         pt_arch::{PTArch, SpecPTArch},
[INFO] [stdout]    |                   ^^^^^^  ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  7 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  7 +         addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  7 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  7 +         addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `vstd::simple_pptr`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:21:24
[INFO] [stdout]    |
[INFO] [stdout] 21 | use vstd::{prelude::*, simple_pptr::PPtr};
[INFO] [stdout]    |                        ^^^^^^^^^^^ could not find `simple_pptr` in `vstd`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/vstd-0.0.0-2026-01-11-0057/vstd.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 66 | #[cfg(feature = "alloc")]
[INFO] [stdout]    |       ----------------- the item is gated behind the `alloc` feature
[INFO] [stdout] 67 | pub mod simple_pptr;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:2:28
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::address::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout]   |                            ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |                            |      |          |
[INFO] [stdout]   |                            |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |                            |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |                            no `PAddr` in `address::addr`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 2 - use crate::address::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 2 + use crate::address::addr::{PAddr, SpecAdd, SpecVAddr, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 2 - use crate::address::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 2 + use crate::address::addr::{PAddr, SpecPAddr, SpecAdd, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::frame::Frame`, `crate::address::frame::MemAttr`, `crate::address::frame::SpecFrame`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:3:29
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::address::frame::{Frame, MemAttr, SpecFrame};
[INFO] [stdout]   |                             ^^^^^  ^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]   |                             |      |
[INFO] [stdout]   |                             |      no `MemAttr` in `address::frame`
[INFO] [stdout]   |                             no `Frame` in `address::frame`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::bitmap_allocator::bitmap_trait::BitmapAllocator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]   |                                            |
[INFO] [stdout]   |                                            no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::FrameSize`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::frame_is_empty`, `crate::global_allocator::inst_base`, `crate::global_allocator::ClientState`, `crate::global_allocator::Frame4KPerm`, `crate::global_allocator::FrameID`, `crate::global_allocator::GlobalAllocator`, `crate::global_allocator::SPEC_FRAME_SIZE`, `crate::page_table::pt_arch::PTArch`, `crate::page_table::pt_arch::SpecPTArch`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:7:16
[INFO] [stdout]    |
[INFO] [stdout]  7 |         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]    |                ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]    |                |      |          |
[INFO] [stdout]    |                |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]    |                |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]    |                no `PAddr` in `address::addr`
[INFO] [stdout]  8 |         frame::FrameSize,
[INFO] [stdout]    |         ^^^^^^^---------
[INFO] [stdout]    |                |
[INFO] [stdout]    |                no `FrameSize` in `address::frame`
[INFO] [stdout]  9 |     },
[INFO] [stdout] 10 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 11 |     global_allocator::{
[INFO] [stdout] 12 |         frame_is_empty, inst_base, ClientState, Frame4KPerm, FrameID, GlobalAllocator,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stdout]    |         |               |          |            |
[INFO] [stdout]    |         |               |          |            no `Frame4KPerm` in `global_allocator`
[INFO] [stdout]    |         |               |          no `ClientState` in `global_allocator`
[INFO] [stdout]    |         |               no `inst_base` in `global_allocator`
[INFO] [stdout]    |         no `frame_is_empty` in `global_allocator`
[INFO] [stdout] 13 |         SPEC_FRAME_SIZE,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 16 |         pt_arch::{PTArch, SpecPTArch},
[INFO] [stdout]    |                   ^^^^^^  ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  7 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  7 +         addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout]  7 -         addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]  7 +         addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `vstd::simple_pptr`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:21:24
[INFO] [stdout]    |
[INFO] [stdout] 21 | use vstd::{prelude::*, simple_pptr::PPtr};
[INFO] [stdout]    |                        ^^^^^^^^^^^ could not find `simple_pptr` in `vstd`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/vstd-0.0.0-2026-01-11-0057/vstd.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 66 | #[cfg(feature = "alloc")]
[INFO] [stdout]    |       ----------------- the item is gated behind the `alloc` feature
[INFO] [stdout] 67 | pub mod simple_pptr;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::global_allocator::ClientID`, `crate::global_allocator::GlobalAllocator`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:5:31
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::global_allocator::{ClientID, GlobalAllocator};
[INFO] [stdout]   |                               ^^^^^^^^  ^^^^^^^^^^^^^^^ no `GlobalAllocator` in `global_allocator`
[INFO] [stdout]   |                               |
[INFO] [stdout]   |                               no `ClientID` in `global_allocator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::page_table::pt_arch::PTArch`, `crate::page_table::pt_arch::SpecPTArch`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:6:34
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::page_table::pt_arch::{PTArch, SpecPTArch};
[INFO] [stdout]   |                                  ^^^^^^  ^^^^^^^^^^ no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout]   |                                  |
[INFO] [stdout]   |                                  no `PTArch` in `page_table::pt_arch`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:2:28
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::address::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout]   |                            ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |                            |      |          |
[INFO] [stdout]   |                            |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |                            |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |                            no `PAddr` in `address::addr`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 2 - use crate::address::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 2 + use crate::address::addr::{PAddr, SpecAdd, SpecVAddr, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 2 - use crate::address::addr::{PAddr, SpecPAddr, SpecVAddr, VAddr};
[INFO] [stdout] 2 + use crate::address::addr::{PAddr, SpecPAddr, SpecAdd, VAddr};
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::frame::FrameSize`, `crate::address::frame::MemAttr`
[INFO] [stdout]  --> src/page_table/pte/mod.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     addr::{PAddr, SpecPAddr},
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^ no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `PAddr` in `address::addr`
[INFO] [stdout] 4 |     frame::{FrameSize, MemAttr},
[INFO] [stdout]   |             ^^^^^^^^^  ^^^^^^^ no `MemAttr` in `address::frame`
[INFO] [stdout]   |             |
[INFO] [stdout]   |             no `FrameSize` in `address::frame`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 3 -     addr::{PAddr, SpecPAddr},
[INFO] [stdout] 3 +     addr::{PAddr, SpecAdd},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::frame::Frame`, `crate::address::frame::MemAttr`, `crate::address::frame::SpecFrame`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:3:29
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::address::frame::{Frame, MemAttr, SpecFrame};
[INFO] [stdout]   |                             ^^^^^  ^^^^^^^  ^^^^^^^^^ no `SpecFrame` in `address::frame`
[INFO] [stdout]   |                             |      |
[INFO] [stdout]   |                             |      no `MemAttr` in `address::frame`
[INFO] [stdout]   |                             no `Frame` in `address::frame`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::bitmap_allocator::bitmap_trait::BitmapAllocator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]   |                                            |
[INFO] [stdout]   |                                            no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::global_allocator::ClientID`, `crate::global_allocator::GlobalAllocator`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:5:31
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::global_allocator::{ClientID, GlobalAllocator};
[INFO] [stdout]   |                               ^^^^^^^^  ^^^^^^^^^^^^^^^ no `GlobalAllocator` in `global_allocator`
[INFO] [stdout]   |                               |
[INFO] [stdout]   |                               no `ClientID` in `global_allocator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::frame::FrameSize`, `crate::address::frame::MemAttr`, `crate::page_table::pt_arch::PTArch`
[INFO] [stdout]  --> src/page_table/pte/aarch64.rs:5:22
[INFO] [stdout]   |
[INFO] [stdout] 5 |         addr::{self, PAddr, SpecPAddr},
[INFO] [stdout]   |                      ^^^^^  ^^^^^^^^^ no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |                      |
[INFO] [stdout]   |                      no `PAddr` in `address::addr`
[INFO] [stdout] 6 |         frame::{FrameSize, MemAttr},
[INFO] [stdout]   |                 ^^^^^^^^^  ^^^^^^^ no `MemAttr` in `address::frame`
[INFO] [stdout]   |                 |
[INFO] [stdout]   |                 no `FrameSize` in `address::frame`
[INFO] [stdout] 7 |     },
[INFO] [stdout] 8 |     page_table::pt_arch::PTArch,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^------
[INFO] [stdout]   |                          |
[INFO] [stdout]   |                          no `PTArch` in `page_table::pt_arch`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::PAddr
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::SpecPAddr
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::FrameSize
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::MemAttr
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 5 -         addr::{self, PAddr, SpecPAddr},
[INFO] [stdout] 5 +         addr::{self, PAddr, SpecAdd},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::page_table::pt_arch::PTArch`, `crate::page_table::pt_arch::SpecPTArch`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:6:34
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::page_table::pt_arch::{PTArch, SpecPTArch};
[INFO] [stdout]   |                                  ^^^^^^  ^^^^^^^^^^ no `SpecPTArch` in `page_table::pt_arch`
[INFO] [stdout]   |                                  |
[INFO] [stdout]   |                                  no `PTArch` in `page_table::pt_arch`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::global_allocator::frame_is_empty`, `crate::global_allocator::Frame4KPerm`
[INFO] [stdout]  --> src/page_table/table.rs:2:31
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::global_allocator::{frame_is_empty, Frame4KPerm};
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^  ^^^^^^^^^^^ no `Frame4KPerm` in `global_allocator`
[INFO] [stdout]   |                               |
[INFO] [stdout]   |                               no `frame_is_empty` in `global_allocator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `vstd::simple_pptr`
[INFO] [stdout]   --> src/page_table/table.rs:4:11
[INFO] [stdout]    |
[INFO] [stdout]  4 | use vstd::simple_pptr::PointsTo;
[INFO] [stdout]    |           ^^^^^^^^^^^ could not find `simple_pptr` in `vstd`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/vstd-0.0.0-2026-01-11-0057/vstd.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 66 | #[cfg(feature = "alloc")]
[INFO] [stdout]    |       ----------------- the item is gated behind the `alloc` feature
[INFO] [stdout] 67 | pub mod simple_pptr;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `pt_trait::PageTable`, `pt_trait::PTConstants`
[INFO] [stdout]  --> src/page_table/mod.rs:8:20
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use pt_trait::{PageTable, PTConstants};
[INFO] [stdout]   |                    ^^^^^^^^^  ^^^^^^^^^^^ no `PTConstants` in `page_table::pt_trait`
[INFO] [stdout]   |                    |
[INFO] [stdout]   |                    no `PageTable` in `page_table::pt_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::frame::FrameSize`, `crate::address::frame::MemAttr`
[INFO] [stdout]  --> src/page_table/pte/mod.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     addr::{PAddr, SpecPAddr},
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^ no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `PAddr` in `address::addr`
[INFO] [stdout] 4 |     frame::{FrameSize, MemAttr},
[INFO] [stdout]   |             ^^^^^^^^^  ^^^^^^^ no `MemAttr` in `address::frame`
[INFO] [stdout]   |             |
[INFO] [stdout]   |             no `FrameSize` in `address::frame`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 3 -     addr::{PAddr, SpecPAddr},
[INFO] [stdout] 3 +     addr::{PAddr, SpecAdd},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::frame::Frame`
[INFO] [stdout]   --> src/global_allocator/mod.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 |     addr::{PAddr, SpecPAddr},
[INFO] [stdout]    |            ^^^^^  ^^^^^^^^^ no `SpecPAddr` in `address::addr`
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `PAddr` in `address::addr`
[INFO] [stdout] 11 |     frame::Frame,
[INFO] [stdout]    |     ^^^^^^^-----
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `Frame` in `address::frame`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -     addr::{PAddr, SpecPAddr},
[INFO] [stdout] 10 +     addr::{PAddr, SpecAdd},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`
[INFO] [stdout]   --> src/global_allocator/mod.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use crate::bitmap_allocator::bitmap_trait::BitmapAllocator;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                            |
[INFO] [stdout]    |                                            no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::frame::FrameSize`, `crate::address::frame::MemAttr`, `crate::page_table::pt_arch::PTArch`
[INFO] [stdout]  --> src/page_table/pte/aarch64.rs:5:22
[INFO] [stdout]   |
[INFO] [stdout] 5 |         addr::{self, PAddr, SpecPAddr},
[INFO] [stdout]   |                      ^^^^^  ^^^^^^^^^ no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |                      |
[INFO] [stdout]   |                      no `PAddr` in `address::addr`
[INFO] [stdout] 6 |         frame::{FrameSize, MemAttr},
[INFO] [stdout]   |                 ^^^^^^^^^  ^^^^^^^ no `MemAttr` in `address::frame`
[INFO] [stdout]   |                 |
[INFO] [stdout]   |                 no `FrameSize` in `address::frame`
[INFO] [stdout] 7 |     },
[INFO] [stdout] 8 |     page_table::pt_arch::PTArch,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^------
[INFO] [stdout]   |                          |
[INFO] [stdout]   |                          no `PTArch` in `page_table::pt_arch`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::PAddr
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::SpecPAddr
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::FrameSize
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::page_table::pte::MemAttr
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 5 -         addr::{self, PAddr, SpecPAddr},
[INFO] [stdout] 5 +         addr::{self, PAddr, SpecAdd},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::sync::mutex::Mutex`, `crate::sync::mutex::MutexGuard`
[INFO] [stdout]   --> src/global_allocator/mod.rs:14:26
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::sync::mutex::{Mutex, MutexGuard};
[INFO] [stdout]    |                          ^^^^^  ^^^^^^^^^^ no `MutexGuard` in `sync::mutex`
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          no `Mutex` in `sync::mutex`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::Mutex
[INFO] [stdout]            std::sync::nonpoison::Mutex
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::MutexGuard
[INFO] [stdout]            std::sync::nonpoison::MutexGuard
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::global_allocator::frame_is_empty`, `crate::global_allocator::Frame4KPerm`
[INFO] [stdout]  --> src/page_table/table.rs:2:31
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::global_allocator::{frame_is_empty, Frame4KPerm};
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^  ^^^^^^^^^^^ no `Frame4KPerm` in `global_allocator`
[INFO] [stdout]   |                               |
[INFO] [stdout]   |                               no `frame_is_empty` in `global_allocator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `vstd::simple_pptr`
[INFO] [stdout]   --> src/page_table/table.rs:4:11
[INFO] [stdout]    |
[INFO] [stdout]  4 | use vstd::simple_pptr::PointsTo;
[INFO] [stdout]    |           ^^^^^^^^^^^ could not find `simple_pptr` in `vstd`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/vstd-0.0.0-2026-01-11-0057/vstd.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 66 | #[cfg(feature = "alloc")]
[INFO] [stdout]    |       ----------------- the item is gated behind the `alloc` feature
[INFO] [stdout] 67 | pub mod simple_pptr;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `pt_trait::PageTable`, `pt_trait::PTConstants`
[INFO] [stdout]  --> src/page_table/mod.rs:8:20
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use pt_trait::{PageTable, PTConstants};
[INFO] [stdout]   |                    ^^^^^^^^^  ^^^^^^^^^^^ no `PTConstants` in `page_table::pt_trait`
[INFO] [stdout]   |                    |
[INFO] [stdout]   |                    no `PageTable` in `page_table::pt_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::frame::Frame`
[INFO] [stdout]   --> src/global_allocator/mod.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 |     addr::{PAddr, SpecPAddr},
[INFO] [stdout]    |            ^^^^^  ^^^^^^^^^ no `SpecPAddr` in `address::addr`
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `PAddr` in `address::addr`
[INFO] [stdout] 11 |     frame::Frame,
[INFO] [stdout]    |     ^^^^^^^-----
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `Frame` in `address::frame`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 10 -     addr::{PAddr, SpecPAddr},
[INFO] [stdout] 10 +     addr::{PAddr, SpecAdd},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`
[INFO] [stdout]   --> src/global_allocator/mod.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use crate::bitmap_allocator::bitmap_trait::BitmapAllocator;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                            |
[INFO] [stdout]    |                                            no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::MemType`, `crate::address::region::Mapper`, `crate::address::region::MemoryRegion`, `crate::address::region::PAGE_SIZE`, `crate::address::region::SPEC_PAGE_SIZE`
[INFO] [stdout]  --> src/hv_mem/config.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 |     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |            |      |          |
[INFO] [stdout]   |            |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |            |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |            no `PAddr` in `address::addr`
[INFO] [stdout] 8 |     frame::MemType,
[INFO] [stdout]   |     ^^^^^^^-------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `MemType` in `address::frame`
[INFO] [stdout] 9 |     region::{Mapper, MemoryRegion, PAGE_SIZE, SPEC_PAGE_SIZE},
[INFO] [stdout]   |              ^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^ no `SPEC_PAGE_SIZE` in `address::region`
[INFO] [stdout]   |              |       |             |
[INFO] [stdout]   |              |       |             no `PAGE_SIZE` in `address::region`
[INFO] [stdout]   |              |       no `MemoryRegion` in `address::region`
[INFO] [stdout]   |              no `Mapper` in `address::region`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 7 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 7 +     addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 7 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 7 +     addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::sync::mutex::Mutex`, `crate::sync::mutex::MutexGuard`
[INFO] [stdout]   --> src/global_allocator/mod.rs:14:26
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::sync::mutex::{Mutex, MutexGuard};
[INFO] [stdout]    |                          ^^^^^  ^^^^^^^^^^ no `MutexGuard` in `sync::mutex`
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          no `Mutex` in `sync::mutex`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::Mutex
[INFO] [stdout]            std::sync::nonpoison::Mutex
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::MutexGuard
[INFO] [stdout]            std::sync::nonpoison::MutexGuard
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::super::spec::budget::zone_budget`, `super::super::spec::budget::BudgetSpecInstance`, `super::super::spec::budget::BudgetZoneIdsToken`, `super::super::spec::budget::BudgetZoneToken`, `super::super::spec::GhostZone`
[INFO] [stdout]   --> src/hv_mem/protocol/budget.rs:9:14
[INFO] [stdout]    |
[INFO] [stdout]  9 |     budget::{zone_budget, BudgetSpecInstance, BudgetZoneIdsToken, BudgetZoneToken},
[INFO] [stdout]    |              ^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `BudgetZoneToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |              |            |                   |
[INFO] [stdout]    |              |            |                   no `BudgetZoneIdsToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |              |            no `BudgetSpecInstance` in `hv_mem::spec::budget`
[INFO] [stdout]    |              no `zone_budget` in `hv_mem::spec::budget`
[INFO] [stdout] 10 |     GhostZone,
[INFO] [stdout]    |     ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::region::MemoryRegion`
[INFO] [stdout]   --> src/hv_mem/protocol/budget.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use crate::address::region::MemoryRegion;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::super::spec::GhostZone`
[INFO] [stdout]  --> src/hv_mem/protocol/closure.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     GhostZone,
[INFO] [stdout]   |     ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::region::MemoryRegion`
[INFO] [stdout]   --> src/hv_mem/protocol/closure.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::address::region::MemoryRegion;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::spec::GhostZone`
[INFO] [stdout]   --> src/hv_mem/protocol/mod.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use super::spec::GhostZone;
[INFO] [stdout]    |     ^^^^^^^^^^^^^---------
[INFO] [stdout]    |                  |
[INFO] [stdout]    |                  no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::PAddr`, `crate::address::addr::SpecPAddr`, `crate::address::addr::SpecVAddr`, `crate::address::addr::VAddr`, `crate::address::frame::MemType`, `crate::address::region::Mapper`, `crate::address::region::MemoryRegion`, `crate::address::region::PAGE_SIZE`, `crate::address::region::SPEC_PAGE_SIZE`
[INFO] [stdout]  --> src/hv_mem/config.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 |     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^ no `VAddr` in `address::addr`
[INFO] [stdout]   |            |      |          |
[INFO] [stdout]   |            |      |          no `SpecVAddr` in `address::addr`
[INFO] [stdout]   |            |      no `SpecPAddr` in `address::addr`
[INFO] [stdout]   |            no `PAddr` in `address::addr`
[INFO] [stdout] 8 |     frame::MemType,
[INFO] [stdout]   |     ^^^^^^^-------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `MemType` in `address::frame`
[INFO] [stdout] 9 |     region::{Mapper, MemoryRegion, PAGE_SIZE, SPEC_PAGE_SIZE},
[INFO] [stdout]   |              ^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^ no `SPEC_PAGE_SIZE` in `address::region`
[INFO] [stdout]   |              |       |             |
[INFO] [stdout]   |              |       |             no `PAGE_SIZE` in `address::region`
[INFO] [stdout]   |              |       no `MemoryRegion` in `address::region`
[INFO] [stdout]   |              no `Mapper` in `address::region`
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 7 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 7 +     addr::{PAddr, SpecAdd, SpecVAddr, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 7 -     addr::{PAddr, SpecPAddr, SpecVAddr, VAddr},
[INFO] [stdout] 7 +     addr::{PAddr, SpecPAddr, SpecAdd, VAddr},
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `budget::BudgetGlobalState`, `budget::BudgetProtocol`, `budget::BudgetZoneState`
[INFO] [stdout]   --> src/hv_mem/protocol/mod.rs:13:18
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub use budget::{BudgetGlobalState, BudgetProtocol, BudgetZoneState};
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `BudgetZoneState` in `hv_mem::protocol::budget`
[INFO] [stdout]    |                  |                  |
[INFO] [stdout]    |                  |                  no `BudgetProtocol` in `hv_mem::protocol::budget`
[INFO] [stdout]    |                  no `BudgetGlobalState` in `hv_mem::protocol::budget`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `closure::ClosureGlobalState`, `closure::ClosureProtocol`, `closure::ClosureZoneState`
[INFO] [stdout]   --> src/hv_mem/protocol/mod.rs:14:19
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub use closure::{ClosureGlobalState, ClosureProtocol, ClosureZoneState};
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^ no `ClosureZoneState` in `hv_mem::protocol::closure`
[INFO] [stdout]    |                   |                   |
[INFO] [stdout]    |                   |                   no `ClosureProtocol` in `hv_mem::protocol::closure`
[INFO] [stdout]    |                   no `ClosureGlobalState` in `hv_mem::protocol::closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::region::MemoryRegion`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use crate::address::region::MemoryRegion;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::memory_set::SpecMemorySet`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use crate::memory_set::SpecMemorySet;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^-------------
[INFO] [stdout]    |                        |
[INFO] [stdout]    |                        no `SpecMemorySet` in `memory_set`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::super::spec::budget::zone_budget`, `super::super::spec::budget::BudgetSpecInstance`, `super::super::spec::budget::BudgetZoneIdsToken`, `super::super::spec::budget::BudgetZoneToken`, `super::super::spec::GhostZone`
[INFO] [stdout]   --> src/hv_mem/protocol/budget.rs:9:14
[INFO] [stdout]    |
[INFO] [stdout]  9 |     budget::{zone_budget, BudgetSpecInstance, BudgetZoneIdsToken, BudgetZoneToken},
[INFO] [stdout]    |              ^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `BudgetZoneToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |              |            |                   |
[INFO] [stdout]    |              |            |                   no `BudgetZoneIdsToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |              |            no `BudgetSpecInstance` in `hv_mem::spec::budget`
[INFO] [stdout]    |              no `zone_budget` in `hv_mem::spec::budget`
[INFO] [stdout] 10 |     GhostZone,
[INFO] [stdout]    |     ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::region::MemoryRegion`
[INFO] [stdout]   --> src/hv_mem/protocol/budget.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use crate::address::region::MemoryRegion;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::super::spec::GhostZone`
[INFO] [stdout]  --> src/hv_mem/protocol/closure.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     GhostZone,
[INFO] [stdout]   |     ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecVAddr`, `crate::address::region::MemoryRegion`, `crate::memory_set::SpecMemorySet`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |     address::{addr::SpecVAddr, region::MemoryRegion},
[INFO] [stdout]    |               ^^^^^^---------  ^^^^^^^^------------
[INFO] [stdout]    |                     |                  |
[INFO] [stdout]    |                     |                  no `MemoryRegion` in `address::region`
[INFO] [stdout]    |                     no `SpecVAddr` in `address::addr`
[INFO] [stdout] 18 |     memory_set::SpecMemorySet,
[INFO] [stdout]    |     ^^^^^^^^^^^^-------------
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `SpecMemorySet` in `memory_set`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 17 -     address::{addr::SpecVAddr, region::MemoryRegion},
[INFO] [stdout] 17 +     address::{addr::SpecAdd, region::MemoryRegion},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::region::MemoryRegion`
[INFO] [stdout]   --> src/hv_mem/protocol/closure.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::address::region::MemoryRegion;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::spec::GhostZone`
[INFO] [stdout]   --> src/hv_mem/protocol/mod.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use super::spec::GhostZone;
[INFO] [stdout]    |     ^^^^^^^^^^^^^---------
[INFO] [stdout]    |                  |
[INFO] [stdout]    |                  no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::region::MemoryRegion`, `crate::memory_set::SpecMemorySet`
[INFO] [stdout]  --> src/hv_mem/spec/mod.rs:8:13
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::{address::region::MemoryRegion, memory_set::SpecMemorySet};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^------------  ^^^^^^^^^^^^-------------
[INFO] [stdout]   |                              |                         |
[INFO] [stdout]   |                              |                         no `SpecMemorySet` in `memory_set`
[INFO] [stdout]   |                              no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `budget::BudgetGlobalState`, `budget::BudgetProtocol`, `budget::BudgetZoneState`
[INFO] [stdout]   --> src/hv_mem/protocol/mod.rs:13:18
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub use budget::{BudgetGlobalState, BudgetProtocol, BudgetZoneState};
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `BudgetZoneState` in `hv_mem::protocol::budget`
[INFO] [stdout]    |                  |                  |
[INFO] [stdout]    |                  |                  no `BudgetProtocol` in `hv_mem::protocol::budget`
[INFO] [stdout]    |                  no `BudgetGlobalState` in `hv_mem::protocol::budget`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `budget::BudgetSpec`, `budget::BudgetSpecInstance`, `budget::BudgetZoneIdsToken`, `budget::BudgetZoneToken`
[INFO] [stdout]   --> src/hv_mem/spec/mod.rs:11:18
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub use budget::{BudgetSpec, BudgetSpecInstance, BudgetZoneIdsToken, BudgetZoneToken};
[INFO] [stdout]    |                  ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `BudgetZoneToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |                  |           |                   |
[INFO] [stdout]    |                  |           |                   no `BudgetZoneIdsToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |                  |           no `BudgetSpecInstance` in `hv_mem::spec::budget`
[INFO] [stdout]    |                  no `BudgetSpec` in `hv_mem::spec::budget`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `closure::ClosureGlobalState`, `closure::ClosureProtocol`, `closure::ClosureZoneState`
[INFO] [stdout]   --> src/hv_mem/protocol/mod.rs:14:19
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub use closure::{ClosureGlobalState, ClosureProtocol, ClosureZoneState};
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^ no `ClosureZoneState` in `hv_mem::protocol::closure`
[INFO] [stdout]    |                   |                   |
[INFO] [stdout]    |                   |                   no `ClosureProtocol` in `hv_mem::protocol::closure`
[INFO] [stdout]    |                   no `ClosureGlobalState` in `hv_mem::protocol::closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::address::region::MemoryRegion`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use crate::address::region::MemoryRegion;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::memory_set::SpecMemorySet`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use crate::memory_set::SpecMemorySet;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^-------------
[INFO] [stdout]    |                        |
[INFO] [stdout]    |                        no `SpecMemorySet` in `memory_set`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `closure::all_regions`, `closure::all_regions_disjoint`, `closure::all_regions_valid`, `closure::ClosureRegionToken`, `closure::ClosureSpec`, `closure::ClosureSpecInstance`, `closure::ClosureZoneIdsToken`, `closure::ClosureZoneToken`
[INFO] [stdout]   --> src/hv_mem/spec/mod.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     all_regions, all_regions_disjoint, all_regions_valid, ClosureRegionToken, ClosureSpec,
[INFO] [stdout]    |     ^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^ no `ClosureSpec` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |            |                     |                  |
[INFO] [stdout]    |     |            |                     |                  no `ClosureRegionToken` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |            |                     no `all_regions_valid` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |            no `all_regions_disjoint` in `hv_mem::spec::closure`
[INFO] [stdout]    |     no `all_regions` in `hv_mem::spec::closure`
[INFO] [stdout] 14 |     ClosureSpecInstance, ClosureZoneIdsToken, ClosureZoneToken,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^ no `ClosureZoneToken` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |                    |
[INFO] [stdout]    |     |                    no `ClosureZoneIdsToken` in `hv_mem::spec::closure`
[INFO] [stdout]    |     no `ClosureSpecInstance` in `hv_mem::spec::closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::addr::SpecVAddr`, `crate::address::region::MemoryRegion`, `crate::memory_set::SpecMemorySet`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |     address::{addr::SpecVAddr, region::MemoryRegion},
[INFO] [stdout]    |               ^^^^^^---------  ^^^^^^^^------------
[INFO] [stdout]    |                     |                  |
[INFO] [stdout]    |                     |                  no `MemoryRegion` in `address::region`
[INFO] [stdout]    |                     no `SpecVAddr` in `address::addr`
[INFO] [stdout] 18 |     memory_set::SpecMemorySet,
[INFO] [stdout]    |     ^^^^^^^^^^^^-------------
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `SpecMemorySet` in `memory_set`
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 17 -     address::{addr::SpecVAddr, region::MemoryRegion},
[INFO] [stdout] 17 +     address::{addr::SpecAdd, region::MemoryRegion},
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::protocol::ZoneGhostProtocol`, `super::protocol::ZoneStateOps`
[INFO] [stdout]   --> src/hv_mem/zone.rs:11:23
[INFO] [stdout]    |
[INFO] [stdout] 11 |     ClosureZoneState, ZoneGhostProtocol, ZoneStateOps,
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `ZoneStateOps` in `hv_mem::protocol`
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::region::MemoryRegion`, `crate::memory_set::SpecMemorySet`
[INFO] [stdout]  --> src/hv_mem/spec/mod.rs:8:13
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::{address::region::MemoryRegion, memory_set::SpecMemorySet};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^------------  ^^^^^^^^^^^^-------------
[INFO] [stdout]   |                              |                         |
[INFO] [stdout]   |                              |                         no `SpecMemorySet` in `memory_set`
[INFO] [stdout]   |                              no `MemoryRegion` in `address::region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::spec::budget::zone_budget`, `super::spec::closure::all_regions`, `super::spec::GhostZone`
[INFO] [stdout]   --> src/hv_mem/zone.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     budget::zone_budget, closure::all_regions, BudgetZoneToken, ClosureZoneToken, GhostZone,
[INFO] [stdout]    |     ^^^^^^^^-----------  ^^^^^^^^^-----------                                     ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout]    |             |                     |
[INFO] [stdout]    |             |                     no `all_regions` in `hv_mem::spec::closure`
[INFO] [stdout]    |             no `zone_budget` in `hv_mem::spec::budget`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::hv_mem::spec::all_regions
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `budget::BudgetSpec`, `budget::BudgetSpecInstance`, `budget::BudgetZoneIdsToken`, `budget::BudgetZoneToken`
[INFO] [stdout]   --> src/hv_mem/spec/mod.rs:11:18
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub use budget::{BudgetSpec, BudgetSpecInstance, BudgetZoneIdsToken, BudgetZoneToken};
[INFO] [stdout]    |                  ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^ no `BudgetZoneToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |                  |           |                   |
[INFO] [stdout]    |                  |           |                   no `BudgetZoneIdsToken` in `hv_mem::spec::budget`
[INFO] [stdout]    |                  |           no `BudgetSpecInstance` in `hv_mem::spec::budget`
[INFO] [stdout]    |                  no `BudgetSpec` in `hv_mem::spec::budget`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::region::MemoryRegion`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`, `crate::memory_set::MemorySet`, `crate::sync::rwlock::RwLock`, `crate::sync::rwlock::RwReadGuard`, `crate::sync::rwlock::RwWriteGuard`
[INFO] [stdout]   --> src/hv_mem/zone.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     address::region::MemoryRegion,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      no `MemoryRegion` in `address::region`
[INFO] [stdout] 18 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 19 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout] 20 |     memory_set::MemorySet,
[INFO] [stdout]    |     ^^^^^^^^^^^^---------
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `MemorySet` in `memory_set`
[INFO] [stdout] 21 |     page_table::PageTable,
[INFO] [stdout] 22 |     sync::rwlock::{RwLock, RwReadGuard, RwWriteGuard},
[INFO] [stdout]    |                    ^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^^ no `RwWriteGuard` in `sync::rwlock`
[INFO] [stdout]    |                    |       |
[INFO] [stdout]    |                    |       no `RwReadGuard` in `sync::rwlock`
[INFO] [stdout]    |                    no `RwLock` in `sync::rwlock`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::RwLock
[INFO] [stdout]            std::sync::nonpoison::RwLock
[INFO] [stdout]            vstd::rwlock::RwLock
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `closure::all_regions`, `closure::all_regions_disjoint`, `closure::all_regions_valid`, `closure::ClosureRegionToken`, `closure::ClosureSpec`, `closure::ClosureSpecInstance`, `closure::ClosureZoneIdsToken`, `closure::ClosureZoneToken`
[INFO] [stdout]   --> src/hv_mem/spec/mod.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     all_regions, all_regions_disjoint, all_regions_valid, ClosureRegionToken, ClosureSpec,
[INFO] [stdout]    |     ^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^ no `ClosureSpec` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |            |                     |                  |
[INFO] [stdout]    |     |            |                     |                  no `ClosureRegionToken` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |            |                     no `all_regions_valid` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |            no `all_regions_disjoint` in `hv_mem::spec::closure`
[INFO] [stdout]    |     no `all_regions` in `hv_mem::spec::closure`
[INFO] [stdout] 14 |     ClosureSpecInstance, ClosureZoneIdsToken, ClosureZoneToken,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^ no `ClosureZoneToken` in `hv_mem::spec::closure`
[INFO] [stdout]    |     |                    |
[INFO] [stdout]    |     |                    no `ClosureZoneIdsToken` in `hv_mem::spec::closure`
[INFO] [stdout]    |     no `ClosureSpecInstance` in `hv_mem::spec::closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::protocol::ZoneGhostProtocol`, `super::protocol::ZoneStateOps`
[INFO] [stdout]   --> src/hv_mem/zone.rs:11:23
[INFO] [stdout]    |
[INFO] [stdout] 11 |     ClosureZoneState, ZoneGhostProtocol, ZoneStateOps,
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `ZoneStateOps` in `hv_mem::protocol`
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::spec::budget::zone_budget`, `super::spec::closure::all_regions`, `super::spec::GhostZone`
[INFO] [stdout]   --> src/hv_mem/zone.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     budget::zone_budget, closure::all_regions, BudgetZoneToken, ClosureZoneToken, GhostZone,
[INFO] [stdout]    |     ^^^^^^^^-----------  ^^^^^^^^^-----------                                     ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout]    |             |                     |
[INFO] [stdout]    |             |                     no `all_regions` in `hv_mem::spec::closure`
[INFO] [stdout]    |             no `zone_budget` in `hv_mem::spec::budget`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::hv_mem::spec::all_regions
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::frame::FrameSize`, `crate::address::region::MemoryRegion`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`, `crate::memory_set::MemorySet`, `crate::sync::rwlock::RwLock`, `crate::sync::rwlock::RwReadGuard`, `crate::sync::rwlock::RwReaderToken`, `crate::sync::rwlock::RwWriteGuard`, `crate::sync::rwlock::RwWriterToken`
[INFO] [stdout]   --> src/hv_mem/mod.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     address::frame::FrameSize,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^---------
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     no `FrameSize` in `address::frame`
[INFO] [stdout] 25 |     address::region::MemoryRegion,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      no `MemoryRegion` in `address::region`
[INFO] [stdout] 26 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 27 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout] 28 |     memory_set::MemorySet,
[INFO] [stdout]    |     ^^^^^^^^^^^^---------
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `MemorySet` in `memory_set`
[INFO] [stdout] 29 |     page_table::{PTConstants, PageTable},
[INFO] [stdout] 30 |     sync::rwlock::{RwLock, RwReadGuard, RwReaderToken, RwWriteGuard, RwWriterToken},
[INFO] [stdout]    |                    ^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^^ no `RwWriterToken` in `sync::rwlock`
[INFO] [stdout]    |                    |       |            |              |
[INFO] [stdout]    |                    |       |            |              no `RwWriteGuard` in `sync::rwlock`
[INFO] [stdout]    |                    |       |            no `RwReaderToken` in `sync::rwlock`
[INFO] [stdout]    |                    |       no `RwReadGuard` in `sync::rwlock`
[INFO] [stdout]    |                    no `RwLock` in `sync::rwlock`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::RwLock
[INFO] [stdout]            std::sync::nonpoison::RwLock
[INFO] [stdout]            vstd::rwlock::RwLock
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `protocol::ZoneGhostProtocol`
[INFO] [stdout]   --> src/hv_mem/mod.rs:33:49
[INFO] [stdout]    |
[INFO] [stdout] 33 | use protocol::{BudgetProtocol, ClosureProtocol, ZoneGhostProtocol};
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^ no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `spec::budget::zone_budget`
[INFO] [stdout]   --> src/hv_mem/mod.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 | use spec::budget::zone_budget;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^-----------
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   no `zone_budget` in `hv_mem::spec::budget`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `zone::Zone`, `zone::ZoneKey`, `zone::ZonePred`, `zone::ZoneRwContent`
[INFO] [stdout]   --> src/hv_mem/mod.rs:41:12
[INFO] [stdout]    |
[INFO] [stdout] 41 | use zone::{Zone, ZoneKey, ZonePred, ZoneRwContent};
[INFO] [stdout]    |            ^^^^  ^^^^^^^  ^^^^^^^^  ^^^^^^^^^^^^^ no `ZoneRwContent` in `hv_mem::zone`
[INFO] [stdout]    |            |     |        |
[INFO] [stdout]    |            |     |        no `ZonePred` in `hv_mem::zone`
[INFO] [stdout]    |            |     no `ZoneKey` in `hv_mem::zone`
[INFO] [stdout]    |            no `Zone` in `hv_mem::zone`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::region::MemoryRegion`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`, `crate::memory_set::MemorySet`, `crate::sync::rwlock::RwLock`, `crate::sync::rwlock::RwReadGuard`, `crate::sync::rwlock::RwWriteGuard`
[INFO] [stdout]   --> src/hv_mem/zone.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     address::region::MemoryRegion,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      no `MemoryRegion` in `address::region`
[INFO] [stdout] 18 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 19 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout] 20 |     memory_set::MemorySet,
[INFO] [stdout]    |     ^^^^^^^^^^^^---------
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `MemorySet` in `memory_set`
[INFO] [stdout] 21 |     page_table::PageTable,
[INFO] [stdout] 22 |     sync::rwlock::{RwLock, RwReadGuard, RwWriteGuard},
[INFO] [stdout]    |                    ^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^^ no `RwWriteGuard` in `sync::rwlock`
[INFO] [stdout]    |                    |       |
[INFO] [stdout]    |                    |       no `RwReadGuard` in `sync::rwlock`
[INFO] [stdout]    |                    no `RwLock` in `sync::rwlock`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::RwLock
[INFO] [stdout]            std::sync::nonpoison::RwLock
[INFO] [stdout]            vstd::rwlock::RwLock
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`
[INFO] [stdout]   --> src/sync/rwlock.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::bitmap_allocator::bitmap_trait::BitmapAllocator;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                            |
[INFO] [stdout]    |                                            no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::PageTableEntry`
[INFO] [stdout]  --> src/page_table/pte/aarch64.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use super::PageTableEntry;
[INFO] [stdout]   |     ^^^^^^^--------------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `PageTableEntry` in `page_table::pte`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]   --> src/global_allocator/mod.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::ZoneGhostProtocol`, `super::ZoneStateOps`
[INFO] [stdout]   --> src/hv_mem/protocol/budget.rs:12:13
[INFO] [stdout]    |
[INFO] [stdout] 12 | use super::{ZoneGhostProtocol, ZoneStateOps};
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `ZoneStateOps` in `hv_mem::protocol`
[INFO] [stdout]    |             |
[INFO] [stdout]    |             no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::hv_mem::ZoneGhostProtocol
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::ZoneGhostProtocol`, `super::ZoneStateOps`
[INFO] [stdout]   --> src/hv_mem/protocol/closure.rs:10:13
[INFO] [stdout]    |
[INFO] [stdout] 10 | use super::{ZoneGhostProtocol, ZoneStateOps};
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `ZoneStateOps` in `hv_mem::protocol`
[INFO] [stdout]    |             |
[INFO] [stdout]    |             no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::hv_mem::ZoneGhostProtocol
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::GhostZone`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:16:67
[INFO] [stdout]    |
[INFO] [stdout] 16 | use super::{all_regions, all_regions_disjoint, all_regions_valid, GhostZone};
[INFO] [stdout]    |                                                                   ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::GhostZone`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use super::GhostZone;
[INFO] [stdout]    |     ^^^^^^^---------
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]  --> src/sync/mutex.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]  --> src/sync/rwlock.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verifier` in this scope
[INFO] [stdout]  --> src/lib.rs:1:4
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![verifier::deprecated_postcondition_mut_ref_style(true)]
[INFO] [stdout]   |    ^^^^^^^^ use of unresolved module or unlinked crate `verifier`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::bitmap_trait::*`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use super::bitmap_trait::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::ops::Range`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::ops::Range;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `seq_lib::*`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:3:24
[INFO] [stdout]   |
[INFO] [stdout] 3 | use vstd::{prelude::*, seq_lib::*};
[INFO] [stdout]   |                        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `get_bit16_macro`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:7:14
[INFO] [stdout]   |
[INFO] [stdout] 7 | macro_rules! get_bit16_macro {
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `get_bits16_macro`
[INFO] [stdout]   --> src/bitmap_allocator/bitmap_impl.rs:25:14
[INFO] [stdout]    |
[INFO] [stdout] 25 | macro_rules! get_bits16_macro {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `set_bit16_macro`
[INFO] [stdout]   --> src/bitmap_allocator/bitmap_impl.rs:45:14
[INFO] [stdout]    |
[INFO] [stdout] 45 | macro_rules! set_bit16_macro {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `set_bits16_macro`
[INFO] [stdout]   --> src/bitmap_allocator/bitmap_impl.rs:68:14
[INFO] [stdout]    |
[INFO] [stdout] 68 | macro_rules! set_bits16_macro {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::ops::Range`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_trait.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use core::ops::Range;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `seq_lib::*`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_trait.rs:2:24
[INFO] [stdout]   |
[INFO] [stdout] 2 | use vstd::{prelude::*, seq_lib::*};
[INFO] [stdout]   |                        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]  --> src/memory_set/mod.rs:7:17
[INFO] [stdout]   |
[INFO] [stdout] 7 |         frame::{self, Frame, FrameSize, SpecFrame},
[INFO] [stdout]   |                 ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/memory_set/mod.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]   --> src/memory_set/mod.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use vstd::tokens::InstanceId;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `vec::Vec` and `vec`
[INFO] [stdout]   --> src/page_table/pt_arch.rs:14:13
[INFO] [stdout]    |
[INFO] [stdout] 14 | use alloc::{vec, vec::Vec};
[INFO] [stdout]    |             ^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]   --> src/page_table/pt_impl/mod.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use vstd::tokens::InstanceId;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `alloc` and `marker::PhantomData`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::{alloc, marker::PhantomData};
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::address::frame::FrameSize`, `crate::address::region::MemoryRegion`, `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`, `crate::global_allocator::GlobalAllocator`, `crate::memory_set::MemorySet`, `crate::sync::rwlock::RwLock`, `crate::sync::rwlock::RwReadGuard`, `crate::sync::rwlock::RwReaderToken`, `crate::sync::rwlock::RwWriteGuard`, `crate::sync::rwlock::RwWriterToken`
[INFO] [stdout]   --> src/hv_mem/mod.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     address::frame::FrameSize,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^---------
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     no `FrameSize` in `address::frame`
[INFO] [stdout] 25 |     address::region::MemoryRegion,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^------------
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      no `MemoryRegion` in `address::region`
[INFO] [stdout] 26 |     bitmap_allocator::bitmap_trait::BitmapAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                     |
[INFO] [stdout]    |                                     no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 27 |     global_allocator::GlobalAllocator,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       no `GlobalAllocator` in `global_allocator`
[INFO] [stdout] 28 |     memory_set::MemorySet,
[INFO] [stdout]    |     ^^^^^^^^^^^^---------
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 no `MemorySet` in `memory_set`
[INFO] [stdout] 29 |     page_table::{PTConstants, PageTable},
[INFO] [stdout] 30 |     sync::rwlock::{RwLock, RwReadGuard, RwReaderToken, RwWriteGuard, RwWriterToken},
[INFO] [stdout]    |                    ^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^^ no `RwWriterToken` in `sync::rwlock`
[INFO] [stdout]    |                    |       |            |              |
[INFO] [stdout]    |                    |       |            |              no `RwWriteGuard` in `sync::rwlock`
[INFO] [stdout]    |                    |       |            no `RwReaderToken` in `sync::rwlock`
[INFO] [stdout]    |                    |       no `RwReadGuard` in `sync::rwlock`
[INFO] [stdout]    |                    no `RwLock` in `sync::rwlock`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing one of these structs instead:
[INFO] [stdout]            std::sync::RwLock
[INFO] [stdout]            std::sync::nonpoison::RwLock
[INFO] [stdout]            vstd::rwlock::RwLock
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::alloc::Allocator`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::alloc::Allocator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use vstd::tokens::InstanceId;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]  --> src/page_table/pt_impl/spec_pt.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `path::*`
[INFO] [stdout]  --> src/page_table/pt_impl/spec_pt.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     path::*,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pte`
[INFO] [stdout]   --> src/page_table/pt_impl/spec_pt.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     pte,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `table::*`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |         table::*,
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use vstd::tokens::InstanceId;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]  --> src/page_table/pte/aarch64.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 |         addr::{self, PAddr, SpecPAddr},
[INFO] [stdout]   |                ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/global_allocator/mod.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CellId` and `PCell`
[INFO] [stdout]   --> src/global_allocator/mod.rs:17:18
[INFO] [stdout]    |
[INFO] [stdout] 17 | use vstd::cell::{CellId, PCell};
[INFO] [stdout]    |                  ^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant::InvariantPredicate`
[INFO] [stdout]   --> src/global_allocator/mod.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use vstd::invariant::InvariantPredicate;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]   --> src/global_allocator/mod.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use vstd::tokens::InstanceId;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/protocol/closure.rs:12:24
[INFO] [stdout]    |
[INFO] [stdout] 12 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:20:24
[INFO] [stdout]    |
[INFO] [stdout] 20 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:21:24
[INFO] [stdout]    |
[INFO] [stdout] 21 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]  --> src/hv_mem/spec/mod.rs:9:24
[INFO] [stdout]   |
[INFO] [stdout] 9 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/hv_mem/zone.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CellId`, `PCell`, `PointsTo`, `invariant::InvariantPredicate`, and `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/zone.rs:26:12
[INFO] [stdout]    |
[INFO] [stdout] 26 |     cell::{CellId, PCell, PointsTo},
[INFO] [stdout]    |            ^^^^^^  ^^^^^  ^^^^^^^^
[INFO] [stdout] 27 |     invariant::InvariantPredicate,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 28 |     prelude::*,
[INFO] [stdout] 29 |     tokens::InstanceId,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `protocol::ZoneGhostProtocol`
[INFO] [stdout]   --> src/hv_mem/mod.rs:33:49
[INFO] [stdout]    |
[INFO] [stdout] 33 | use protocol::{BudgetProtocol, ClosureProtocol, ZoneGhostProtocol};
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^ no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/hv_mem/mod.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant::InvariantPredicate`
[INFO] [stdout]   --> src/hv_mem/mod.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 | use vstd::invariant::InvariantPredicate;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `verified-hv-mem` (lib test) due to 67 previous errors; 51 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused imports: `CellId`, `PCell`, `PointsTo`, and `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/mod.rs:37:12
[INFO] [stdout]    |
[INFO] [stdout] 37 |     cell::{CellId, PCell, PointsTo},
[INFO] [stdout]    |            ^^^^^^  ^^^^^  ^^^^^^^^
[INFO] [stdout] 38 |     prelude::*,
[INFO] [stdout] 39 |     tokens::InstanceId,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]  --> src/sync/mutex.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use core::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::atomic_ghost::*`
[INFO] [stdout]  --> src/sync/mutex.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use vstd::atomic_ghost::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant::InvariantPredicate`
[INFO] [stdout]  --> src/sync/mutex.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use vstd::invariant::InvariantPredicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::multiset::*`
[INFO] [stdout]  --> src/sync/mutex.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use vstd::multiset::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::cell::CellId`
[INFO] [stdout]  --> src/sync/rwlock.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use vstd::cell::CellId;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::cell::PCell`
[INFO] [stdout]  --> src/sync/rwlock.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use vstd::cell::PCell;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::cell::PointsTo`
[INFO] [stdout]  --> src/sync/rwlock.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use vstd::cell::PointsTo;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::rwlock::RwLock as VerusRwLock`
[INFO] [stdout]  --> src/sync/rwlock.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use vstd::rwlock::RwLock as VerusRwLock;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `spec::budget::zone_budget`
[INFO] [stdout]   --> src/hv_mem/mod.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 | use spec::budget::zone_budget;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^-----------
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   no `zone_budget` in `hv_mem::spec::budget`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant`
[INFO] [stdout]  --> src/sync/rwlock.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use vstd::invariant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::open_atomic_invariant`
[INFO] [stdout]  --> src/sync/rwlock.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use vstd::open_atomic_invariant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::atomic_ghost::*`
[INFO] [stdout]  --> src/sync/rwlock.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use vstd::atomic_ghost::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::multiset::*`
[INFO] [stdout]   --> src/sync/rwlock.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use vstd::multiset::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `AtomicInvariant` and `InvariantPredicate`
[INFO] [stdout]   --> src/sync/rwlock.rs:11:23
[INFO] [stdout]    |
[INFO] [stdout] 11 | use vstd::invariant::{AtomicInvariant, InvariantPredicate};
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/sync/rwlock.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0658]: use of unstable library feature `allocator_api`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::alloc::Allocator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #32838 <https://github.com/rust-lang/rust/issues/32838> for more information
[INFO] [stdout]   = help: add `#![feature(allocator_api)]` to the crate attributes to enable
[INFO] [stdout]   = note: this compiler was built on 2026-06-16; consider upgrading it if it is out of date
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433, E0658.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `zone::Zone`, `zone::ZoneKey`, `zone::ZonePred`, `zone::ZoneRwContent`
[INFO] [stdout]   --> src/hv_mem/mod.rs:41:12
[INFO] [stdout]    |
[INFO] [stdout] 41 | use zone::{Zone, ZoneKey, ZonePred, ZoneRwContent};
[INFO] [stdout]    |            ^^^^  ^^^^^^^  ^^^^^^^^  ^^^^^^^^^^^^^ no `ZoneRwContent` in `hv_mem::zone`
[INFO] [stdout]    |            |     |        |
[INFO] [stdout]    |            |     |        no `ZonePred` in `hv_mem::zone`
[INFO] [stdout]    |            |     no `ZoneKey` in `hv_mem::zone`
[INFO] [stdout]    |            no `Zone` in `hv_mem::zone`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::bitmap_allocator::bitmap_trait::BitmapAllocator`
[INFO] [stdout]   --> src/sync/rwlock.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::bitmap_allocator::bitmap_trait::BitmapAllocator;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------
[INFO] [stdout]    |                                            |
[INFO] [stdout]    |                                            no `BitmapAllocator` in `bitmap_allocator::bitmap_trait`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::PageTableEntry`
[INFO] [stdout]  --> src/page_table/pte/aarch64.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use super::PageTableEntry;
[INFO] [stdout]   |     ^^^^^^^--------------
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `PageTableEntry` in `page_table::pte`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]   --> src/global_allocator/mod.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::ZoneGhostProtocol`, `super::ZoneStateOps`
[INFO] [stdout]   --> src/hv_mem/protocol/budget.rs:12:13
[INFO] [stdout]    |
[INFO] [stdout] 12 | use super::{ZoneGhostProtocol, ZoneStateOps};
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `ZoneStateOps` in `hv_mem::protocol`
[INFO] [stdout]    |             |
[INFO] [stdout]    |             no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::hv_mem::ZoneGhostProtocol
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::ZoneGhostProtocol`, `super::ZoneStateOps`
[INFO] [stdout]   --> src/hv_mem/protocol/closure.rs:10:13
[INFO] [stdout]    |
[INFO] [stdout] 10 | use super::{ZoneGhostProtocol, ZoneStateOps};
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `ZoneStateOps` in `hv_mem::protocol`
[INFO] [stdout]    |             |
[INFO] [stdout]    |             no `ZoneGhostProtocol` in `hv_mem::protocol`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]            crate::hv_mem::ZoneGhostProtocol
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::GhostZone`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:16:67
[INFO] [stdout]    |
[INFO] [stdout] 16 | use super::{all_regions, all_regions_disjoint, all_regions_valid, GhostZone};
[INFO] [stdout]    |                                                                   ^^^^^^^^^ no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::GhostZone`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use super::GhostZone;
[INFO] [stdout]    |     ^^^^^^^---------
[INFO] [stdout]    |            |
[INFO] [stdout]    |            no `GhostZone` in `hv_mem::spec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]  --> src/sync/mutex.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `verus_state_machines_macros`
[INFO] [stdout]  --> src/sync/rwlock.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use verus_state_machines_macros::tokenized_state_machine;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `verus_state_machines_macros`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `verus_state_machines_macros`, use `cargo add verus_state_machines_macros` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verifier` in this scope
[INFO] [stdout]  --> src/lib.rs:1:4
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![verifier::deprecated_postcondition_mut_ref_style(true)]
[INFO] [stdout]   |    ^^^^^^^^ use of unresolved module or unlinked crate `verifier`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::bitmap_trait::*`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use super::bitmap_trait::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::ops::Range`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::ops::Range;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `seq_lib::*`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:3:24
[INFO] [stdout]   |
[INFO] [stdout] 3 | use vstd::{prelude::*, seq_lib::*};
[INFO] [stdout]   |                        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `get_bit16_macro`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_impl.rs:7:14
[INFO] [stdout]   |
[INFO] [stdout] 7 | macro_rules! get_bit16_macro {
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `get_bits16_macro`
[INFO] [stdout]   --> src/bitmap_allocator/bitmap_impl.rs:25:14
[INFO] [stdout]    |
[INFO] [stdout] 25 | macro_rules! get_bits16_macro {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `set_bit16_macro`
[INFO] [stdout]   --> src/bitmap_allocator/bitmap_impl.rs:45:14
[INFO] [stdout]    |
[INFO] [stdout] 45 | macro_rules! set_bit16_macro {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `set_bits16_macro`
[INFO] [stdout]   --> src/bitmap_allocator/bitmap_impl.rs:68:14
[INFO] [stdout]    |
[INFO] [stdout] 68 | macro_rules! set_bits16_macro {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::ops::Range`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_trait.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use core::ops::Range;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `seq_lib::*`
[INFO] [stdout]  --> src/bitmap_allocator/bitmap_trait.rs:2:24
[INFO] [stdout]   |
[INFO] [stdout] 2 | use vstd::{prelude::*, seq_lib::*};
[INFO] [stdout]   |                        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]  --> src/memory_set/mod.rs:7:17
[INFO] [stdout]   |
[INFO] [stdout] 7 |         frame::{self, Frame, FrameSize, SpecFrame},
[INFO] [stdout]   |                 ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/memory_set/mod.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]   --> src/memory_set/mod.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use vstd::tokens::InstanceId;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `vec::Vec` and `vec`
[INFO] [stdout]   --> src/page_table/pt_arch.rs:14:13
[INFO] [stdout]    |
[INFO] [stdout] 14 | use alloc::{vec, vec::Vec};
[INFO] [stdout]    |             ^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]   --> src/page_table/pt_impl/mod.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use vstd::tokens::InstanceId;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `alloc` and `marker::PhantomData`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::{alloc, marker::PhantomData};
[INFO] [stdout]   |            ^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::alloc::Allocator`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::alloc::Allocator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use vstd::tokens::InstanceId;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]  --> src/page_table/pt_impl/spec_pt.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `path::*`
[INFO] [stdout]  --> src/page_table/pt_impl/spec_pt.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     path::*,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pte`
[INFO] [stdout]   --> src/page_table/pt_impl/spec_pt.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     pte,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `table::*`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |         table::*,
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/page_table/pt_mem.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]  --> src/page_table/pt_trait.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use vstd::tokens::InstanceId;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]  --> src/page_table/pte/aarch64.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 |         addr::{self, PAddr, SpecPAddr},
[INFO] [stdout]   |                ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/global_allocator/mod.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CellId` and `PCell`
[INFO] [stdout]   --> src/global_allocator/mod.rs:17:18
[INFO] [stdout]    |
[INFO] [stdout] 17 | use vstd::cell::{CellId, PCell};
[INFO] [stdout]    |                  ^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant::InvariantPredicate`
[INFO] [stdout]   --> src/global_allocator/mod.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use vstd::invariant::InvariantPredicate;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::tokens::InstanceId`
[INFO] [stdout]   --> src/global_allocator/mod.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use vstd::tokens::InstanceId;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/protocol/closure.rs:12:24
[INFO] [stdout]    |
[INFO] [stdout] 12 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/spec/budget.rs:20:24
[INFO] [stdout]    |
[INFO] [stdout] 20 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/spec/closure.rs:21:24
[INFO] [stdout]    |
[INFO] [stdout] 21 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tokens::InstanceId`
[INFO] [stdout]  --> src/hv_mem/spec/mod.rs:9:24
[INFO] [stdout]   |
[INFO] [stdout] 9 | use vstd::{prelude::*, tokens::InstanceId};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/hv_mem/zone.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CellId`, `PCell`, `PointsTo`, `invariant::InvariantPredicate`, and `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/zone.rs:26:12
[INFO] [stdout]    |
[INFO] [stdout] 26 |     cell::{CellId, PCell, PointsTo},
[INFO] [stdout]    |            ^^^^^^  ^^^^^  ^^^^^^^^
[INFO] [stdout] 27 |     invariant::InvariantPredicate,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 28 |     prelude::*,
[INFO] [stdout] 29 |     tokens::InstanceId,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/hv_mem/mod.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant::InvariantPredicate`
[INFO] [stdout]   --> src/hv_mem/mod.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 | use vstd::invariant::InvariantPredicate;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CellId`, `PCell`, `PointsTo`, and `tokens::InstanceId`
[INFO] [stdout]   --> src/hv_mem/mod.rs:37:12
[INFO] [stdout]    |
[INFO] [stdout] 37 |     cell::{CellId, PCell, PointsTo},
[INFO] [stdout]    |            ^^^^^^  ^^^^^  ^^^^^^^^
[INFO] [stdout] 38 |     prelude::*,
[INFO] [stdout] 39 |     tokens::InstanceId,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]  --> src/sync/mutex.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use core::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::atomic_ghost::*`
[INFO] [stdout]  --> src/sync/mutex.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use vstd::atomic_ghost::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant::InvariantPredicate`
[INFO] [stdout]  --> src/sync/mutex.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use vstd::invariant::InvariantPredicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::multiset::*`
[INFO] [stdout]  --> src/sync/mutex.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use vstd::multiset::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::cell::CellId`
[INFO] [stdout]  --> src/sync/rwlock.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use vstd::cell::CellId;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::cell::PCell`
[INFO] [stdout]  --> src/sync/rwlock.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use vstd::cell::PCell;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::cell::PointsTo`
[INFO] [stdout]  --> src/sync/rwlock.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use vstd::cell::PointsTo;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::rwlock::RwLock as VerusRwLock`
[INFO] [stdout]  --> src/sync/rwlock.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use vstd::rwlock::RwLock as VerusRwLock;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::invariant`
[INFO] [stdout]  --> src/sync/rwlock.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use vstd::invariant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::open_atomic_invariant`
[INFO] [stdout]  --> src/sync/rwlock.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use vstd::open_atomic_invariant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::atomic_ghost::*`
[INFO] [stdout]  --> src/sync/rwlock.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use vstd::atomic_ghost::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::multiset::*`
[INFO] [stdout]   --> src/sync/rwlock.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use vstd::multiset::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `AtomicInvariant` and `InvariantPredicate`
[INFO] [stdout]   --> src/sync/rwlock.rs:11:23
[INFO] [stdout]    |
[INFO] [stdout] 11 | use vstd::invariant::{AtomicInvariant, InvariantPredicate};
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::marker::PhantomData`
[INFO] [stdout]   --> src/sync/rwlock.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use core::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0658]: use of unstable library feature `allocator_api`
[INFO] [stdout]  --> src/page_table/pt_impl/pt.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::alloc::Allocator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #32838 <https://github.com/rust-lang/rust/issues/32838> for more information
[INFO] [stdout]   = help: add `#![feature(allocator_api)]` to the crate attributes to enable
[INFO] [stdout]   = note: this compiler was built on 2026-06-16; consider upgrading it if it is out of date
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433, E0658.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `verified-hv-mem` (lib) due to 67 previous errors; 51 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95", kill_on_drop: false }`
[INFO] [stdout] 4d965094c6c10095db1abb88e320565d17c295e446f3641ae3475b0d7f9bcf95
